1. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. A formalization of set theory without variables
پدیدآورنده : TARSKI,ALFRED
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : SET THEORY , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
248
.
T37
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. Alfred Tarski collected papers
پدیدآورنده : Tarski, Alfred
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Collected works ، Mathematics
رده :
QA
3
.
T37
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. Cardinal algebras
پدیدآورنده : TARSKI,ALFRED
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ALGEBRA ABSTRACT
رده :
QA
226
.
T3
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. Collected papers,Selections. 6891
پدیدآورنده : Tarski, Alfred.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Mathematics
رده :
QA
3
.
T372
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. Introducation to logic and to the methodology of deductive sciences
پدیدآورنده : Tarski, Alfred
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (تهران)
موضوع :
رده :
19688
QA
![](/design/images/bookmore.png)
9. Introduction a la logique.
پدیدآورنده : par Alfred Tarski;traduit par Jacques Tremblay
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Mathematics--Philosophy.,Arithematic--Foundations.
![](/design/images/bookmore.png)
10. Introduction to logic and the methodology of deductive sciences
پدیدآورنده : Tarski, Alfred
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : philosophy ، Mathematics,Foundations ، Arithmetic
رده :
QA
9
.
T28
1965
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
11. Introduction to logic and to the methodology of deductive sciences
پدیدآورنده : Tarski, Alfred.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
QA
9
.
T3
I5
1995
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
12. Introduction to logic and to the methodology of deductive sciences
پدیدآورنده : Tarski, Alfred
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematics -- Philosophy,، Arithmetic -- Foundations
رده :
QA
9
.
T27E3713
1965
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
13. Logic , Methodology and philosophy of science : proceeding of the 1960 international congress
پدیدآورنده : /edited by Ernest Nagel , PAtrik Suppes , Alfred Tarski.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع :
![](/design/images/bookmore.png)
14. Logic, semantics, metamathematics
پدیدآورنده : Tarski, Alfred
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
رده :
BC
135
.
T35
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
15. Logic, semantics, metamathematics :papers from 1923 to 1938
پدیدآورنده : Tarski, Alfred.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
رده :
BC135
.
T35
1983
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
16. Logic, semantics, metamathematics: papers from 1923 to 1938
پدیدآورنده : Tarski, Alfred.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,Semantics )Philosophy(
رده :
BC
135
.
T35
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
17. Logique , Sematique metamathe matique , 1923-1944
پدیدآورنده : Tarski, Alfred
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Logic symbolic and mathematical
رده :
QA
9
.
T2
L6
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
18. Ordinal algebras
پدیدآورنده : Tarski, Alfred
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Algebra, Abstract
رده :
QA
266
.
T37
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
19. Ordinal algebras
پدیدآورنده : Tarski, Alfred.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Algebraic logic,، Arithmetic - Foundations
رده :
QA
10
.
T37
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
20. Ordinal algebras : with appendices
پدیدآورنده : Tarski, Alfred
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Algebra, Abstract
رده :
QA
266
.
T3
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)